$\forall$$l$:IdLnk, ${\it da}$:$k$:Knd fp$\rightarrow$ Type. dt($l$;${\it da}$) $\in$ ${\it tg}$:Id fp$\rightarrow$ Type